Another way logic might be normative
نویسندگان
چکیده
Abstract Is logic normative for reasoning? In the wake of work by Gilbert Harman and John MacFarlane, this question has been reduced to: are there any adequate bridge principles which link logical facts to constraints on Hitherto, defenders normativity have exclusively focussed identifying validity principles: linking facts—facts form $$\varGamma \models \varphi $$ Γ⊧φ —to reasoning. This paper argues two claims. First, time being at least, Harman’s challenge cannot be surmounted articulating principles. Second, can met invalidity \not \psi xmlns:mml="http://www.w3.org/1998/Math/MathML">Γ⊭ψ doing so, I provide a novel defence logic.
منابع مشابه
COMMENTARY The way the world might be
Theoreticians are interested in the way the world might be, seeking theories of ‘elegant and economical...mathematical form, in the expectation that they will prove the ones realized in nature’ (Polkinghorne, 1983, p. 9–10). Empiricists, on the contrary, prefer to know ‘The Way the World Is’ (as in Polkinghorne’s title). Ideally, our understanding advances by an interplay between the two. As Da...
متن کاملWondering What Might Be
This paper explores the possibility of supplementing the suppositional view of indicative conditionals with a corresponding view of epistemic modals. The most striking feature of the suppositional view consists in its claim that indicative conditionals are to be evaluated by conditional probabilities. On the basis of a natural link between indicative conditionals and epistemic modals, a corresp...
متن کاملSpontaneous mutant ICR kuru2 might be another shaker-2 deaf mouse.
BACKGROUND We have established a mouse model of spontaneous deafness by sib-inbreeding over 10 years. The mouse was designated as kuru(2) and has been previously reported in this Journal. MATERIALS AND METHODS In order to identify the genetic abnormality, the mouse was back-crossed to Mus musculus castaneus (CAST), and myosine 15 or myoXV on chromosome 11 was assumed to be the responsive gene...
متن کاملAnother Way of Counting NN
An original combinatorial proof of a combinatorial identity is presented. Key words, combinatorial enumeration, graph theory AMS(MOS) subject classification. 05A19
متن کاملAnother way to break down
hen yeast secretory proteins are improperly folded, the ER quality control system directs them into the HRD/DER pathway, which targets the proteins for degradation. Blocking the HRD/DER pathway, however, does not completely stop degradation, implying that there must be an alternative way to destroy misfolded secretory proteins. Haynes et al., reporting on page 91, have now characterized that pa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2021
ISSN: ['0039-7857', '1573-0964']
DOI: https://doi.org/10.1007/s11229-021-03049-z